square root of 1-x^2